Invenzione e identità nel gesuitismo

Cuore, sangue e cervello: biologia e antropologia nel pensiero antico

This interesting and provocative book tries to set Greek ideas down to Aristotle on the heart, blood, and brain as the source of life within their general social and philosophical context, and to provide them with an anthropology. To do this, the authors employ a series of theoretical antinomies-e.g. heart/brain, technician/ prophet, democrat/oligarch, experience/intuition, sensation/intellect-...

Medici e società. Bartolomeo Sella nel Piemonte dell'ottocento

volume by Vincent Barras and Louis-Courvoisier, La medecine des lumie'res (2000), a study of the famous Lausanne physician Samuel-Andre-Auguste-David Tissot. The revival of interest in an individual such as Jurine is thus symptomatic of a recent surge of activity in the history of Swiss French medicine. Although contributors acknowledge that Jurine's fame during his lifetime was a product of hi...

System NEL is Undecidable

System NEL is a conservative extension of multiplicative exponential linear logic (extended by the rules mix and nullary mix) by a self-dual noncommutative connective called seq which has an intermediate position between the connectives par and times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is simple, the proof o...

The Undecidability of System NEL

System NEL is a conservative extension of multiplicative exponential linear logic (MELL) by a self-dual non-commutative connective called seq which lives between the par and the times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is quite simple, the proof of the faithfulness is a little intricate because there is no ...

Relazione sulláttività di ricerca nel progetto: Inferenza statistica: basi probabilistiche e sviluppi metodologici